[prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 454

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 104 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.327 0.080 0.000 0.000 0.000 0.000 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 52 42 61 148 185 0 -1

N.S.

1 1.00 0.96 0.78 1.13 2.74 3.43 0.00 -0.02

time (sec)

N/A 0.023 0.054 0.421 0.501 1.616 1.144 0.000 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 78 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.078 0.071 0.000 0.000 0.000 0.000 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 74 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.079 0.074 0.000 0.000 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 78 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.087 0.077 0.000 0.000 0.000 0.000 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 74 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.080 0.080 0.000 0.000 0.000 0.000 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 63 477 0 102 0 0 -1

N.S.

1 1.00 1.97 14.91 0.00 3.19 0.00 0.00 -0.03

time (sec)

N/A 0.011 0.015 0.413 0.000 1.706 0.000 0.000 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 59 49 0 80 0 40 -1

N.S.

1 1.00 1.84 1.53 0.00 2.50 0.00 1.25 -0.03

time (sec)

N/A 0.012 0.102 0.059 0.000 1.677 0.000 0.543 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 63 0 0 102 0 0 -1

N.S.

1 1.00 1.97 0.00 0.00 3.19 0.00 0.00 -0.03

time (sec)

N/A 0.012 0.186 0.030 0.000 3.921 0.000 0.000 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 76 0 0 102 0 0 -1

N.S.

1 1.00 2.05 0.00 0.00 2.76 0.00 0.00 -0.03

time (sec)

N/A 0.017 0.054 0.087 0.000 2.163 0.000 0.000 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 66 466 0 111 0 0 -1

N.S.

1 1.00 2.00 14.12 0.00 3.36 0.00 0.00 -0.03

time (sec)

N/A 0.011 0.141 1.052 0.000 3.105 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 62 51 0 88 0 47 -1

N.S.

1 1.00 1.88 1.55 0.00 2.67 0.00 1.42 -0.03

time (sec)

N/A 0.011 0.107 0.067 0.000 2.897 0.000 0.554 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 66 0 0 111 0 0 -1

N.S.

1 1.00 2.00 0.00 0.00 3.36 0.00 0.00 -0.03

time (sec)

N/A 0.011 0.197 0.028 0.000 3.746 0.000 0.000 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 78 0 0 106 0 0 -1

N.S.

1 1.00 2.05 0.00 0.00 2.79 0.00 0.00 -0.03

time (sec)

N/A 0.015 0.062 0.085 0.000 1.923 0.000 0.000 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 78 0 0 0 0 0 67

N.S.

1 1.00 2.11 0.00 0.00 0.00 0.00 0.00 1.81

time (sec)

N/A 0.016 0.068 0.083 0.000 0.000 0.000 0.000 5.209

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 78 0 0 109 0 0 67

N.S.

1 1.00 2.11 0.00 0.00 2.95 0.00 0.00 1.81

time (sec)

N/A 0.014 0.017 0.082 0.000 1.388 0.000 0.000 5.323

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 78 0 0 0 0 0 67

N.S.

1 1.00 2.11 0.00 0.00 0.00 0.00 0.00 1.81

time (sec)

N/A 0.013 0.016 0.081 0.000 0.000 0.000 0.000 5.127

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 80 0 0 0 0 0 66

N.S.

1 1.00 2.11 0.00 0.00 0.00 0.00 0.00 1.74

time (sec)

N/A 0.014 0.072 0.086 0.000 0.000 0.000 0.000 5.166

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 80 0 0 109 0 0 66

N.S.

1 1.00 2.11 0.00 0.00 2.87 0.00 0.00 1.74

time (sec)

N/A 0.013 0.018 0.089 0.000 2.157 0.000 0.000 5.102

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 80 0 0 0 0 0 66

N.S.

1 1.00 2.11 0.00 0.00 0.00 0.00 0.00 1.74

time (sec)

N/A 0.013 0.017 0.090 0.000 0.000 0.000 0.000 5.117

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 218 0 0 0 0 0 -1

N.S.

1 1.00 2.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.266 0.032 0.000 0.000 0.000 0.000 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 156 0 0 0 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.157 0.030 0.000 0.000 0.000 0.000 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 106 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.088 0.106 0.000 0.000 0.000 0.000 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 116 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.123 0.114 0.000 0.000 0.000 0.000 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 166 0 0 0 0 0 -1

N.S.

1 1.00 1.50 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.364 0.108 0.000 0.000 0.000 0.000 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 177 0 0 0 0 0 82

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 0.85

time (sec)

N/A 0.039 0.156 0.007 0.000 0.000 0.000 0.000 5.245

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 134 0 0 0 0 0 82

N.S.

1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 0.94

time (sec)

N/A 0.038 0.120 0.008 0.000 0.000 0.000 0.000 5.225

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 88 0 0 0 0 0 83

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.89

time (sec)

N/A 0.037 0.057 0.092 0.000 0.000 0.000 0.000 5.273

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 104 0 0 0 0 0 83

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.82

time (sec)

N/A 0.042 0.077 0.096 0.000 0.000 0.000 0.000 5.484

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 185 0 0 0 0 0 83

N.S.

1 1.00 1.83 0.00 0.00 0.00 0.00 0.00 0.82

time (sec)

N/A 0.042 0.210 0.089 0.000 0.000 0.000 0.000 5.604

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 19 26 0 16 0 50 15

N.S.

1 1.00 1.06 1.44 0.00 0.89 0.00 2.78 0.83

time (sec)

N/A 0.005 0.016 0.057 0.000 1.348 0.000 1.314 5.262

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 18 0 19 0 11 27

N.S.

1 1.00 1.00 0.90 0.00 0.95 0.00 0.55 1.35

time (sec)

N/A 0.002 0.032 0.368 0.000 1.566 0.000 1.506 5.322

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.003 0.009 0.435 0.506 1.668 0.068 1.124 5.244

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 29 14 28 0 27 22

N.S.

1 1.00 1.00 1.16 0.56 1.12 0.00 1.08 0.88

time (sec)

N/A 0.007 0.018 0.376 0.291 1.398 0.000 1.049 5.231

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 29 14 28 0 27 29

N.S.

1 1.00 1.00 1.16 0.56 1.12 0.00 1.08 1.16

time (sec)

N/A 0.007 0.002 0.384 0.300 1.610 0.000 0.924 5.258

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 29 14 28 0 14 22

N.S.

1 1.00 1.00 1.16 0.56 1.12 0.00 0.56 0.88

time (sec)

N/A 0.006 0.008 0.383 0.302 1.517 0.000 2.260 5.211

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

988 988 61 0 0 0 0 0 42

N.S.

1 1.00 0.06 0.00 0.00 0.00 0.00 0.00 0.04

time (sec)

N/A 1.558 10.019 0.050 0.000 0.000 0.000 0.000 5.410

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

487 487 61 0 0 0 0 0 42

N.S.

1 1.00 0.13 0.00 0.00 0.00 0.00 0.00 0.09

time (sec)

N/A 0.712 10.018 0.052 0.000 0.000 0.000 0.000 5.251

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 92 92 0 0 0 0 0 -1

N.S.

1 1.03 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.096 0.196 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 73 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.108 0.198 0.000 0.000 0.000 0.000 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 74 74 0 0 0 0 0 -1

N.S.

1 1.12 1.12 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.054 0.091 0.207 0.000 0.000 0.000 0.000 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 82 0 0 0 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.142 0.202 0.000 0.000 0.000 0.000 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 83 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.124 0.208 0.000 0.000 0.000 0.000 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 43 0 0 64 0 0 76

N.S.

1 1.00 0.98 0.00 0.00 1.45 0.00 0.00 1.73

time (sec)

N/A 0.012 0.056 0.110 0.000 2.298 0.000 0.000 5.303

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 43 0 0 61 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 1.39 0.00 0.00 -0.02

time (sec)

N/A 0.011 0.003 0.128 0.000 2.214 0.000 0.000 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 45 0 0 76 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 1.65 0.00 0.00 -0.02

time (sec)

N/A 0.049 0.064 0.203 0.000 2.083 0.000 0.000 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 45 0 0 79 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 1.72 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.005 0.213 0.000 2.446 0.000 0.000 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 36 40 17 44 0 0 -1

N.S.

1 1.00 0.82 0.91 0.39 1.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.048 0.438 0.298 2.380 0.000 0.000 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 36 40 17 44 0 0 -1

N.S.

1 1.00 0.82 0.91 0.39 1.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.044 0.431 0.291 1.982 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 36 40 17 44 0 0 -1

N.S.

1 1.00 0.82 0.91 0.39 1.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.047 0.429 0.303 3.007 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 47 0 0 47 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.82 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.045 0.105 0.000 2.853 0.000 0.000 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 45 0 0 54 0 0 -1

N.S.

1 1.00 0.74 0.00 0.00 0.89 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.043 0.104 0.000 2.403 0.000 0.000 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 40 0 0 76 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 1.95 0.00 0.00 -0.03

time (sec)

N/A 0.038 0.092 0.194 0.000 2.383 0.000 0.000 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 38 0 0 64 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 1.60 0.00 0.00 -0.02

time (sec)

N/A 0.053 0.074 0.184 0.000 3.471 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]